Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2009/10)

Search: ^c

Education/MFES0910 Web Changed Changed by
CalculoSistemasInformacao 10 May 2007 - 22:13 - r4 JoseNunoOliveira
Cálculo de Sistemas de Informação O objectivo deste módulo é mostrar como, de modelos abstractos, puramente declarativos, como os que se estudaram em Formais , se ...
Calendario 15 Jul 2010 - 15:40 - r4 JoseNunoOliveira
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM